necessary conditionals: real and verbal

avicenna has divided the conditionals to the real cogent (i.e. with possible antecedent) and the verbal cogent (i.e. with the impossible antecedent). denying the truth of the latter, he caused controversies among moslem logicians. at the paper, we report the controversies, analyze the real and verbal cogent conditionals, formalize them in modern modal and relevant logics, and finally, defend ideas of moslem logicians. in this regards, three controversial subject matters are explained and islamic logicians’ positions on them is defended by real cogent conditional. the three are as follows: conversion of conditional, equivalences of conditionals, and al-razi’s claim on the necessity of consistency between antecedent and consequent of true cogent conditional.